Bochmann, Gregor v.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Object-oriented design for distributed systems: The OSI directory example

Gregor v. Bochmann, Stéphane Poirier, Pierre Mondain-Monval

Journal:

Computer Networks and ISDN Systems

Year:

1995

Language:

english

File:

PDF, 1.94 MB

english, 1995

2

CliqueStream: Creating an efficient and resilient transport overlay for peer-to-peer live streaming using a clustered DHT

Shah Asaduzzaman, Ying Qiao, Gregor v. Bochmann

Journal:

Peer-to-Peer Networking and Applications

Year:

2010

Language:

english

File:

PDF, 501 KB

english, 2010

3

Protocol specification for OSI

Gregor V Bochmann

Journal:

Computer Networks and ISDN Systems

Year:

1990

Language:

english

File:

PDF, 1.49 MB

english, 1990

4

[IEEE 2009 IEEE Symposium on Computers and Communications (ISCC) - Sousse, Tunisia (2009.07.5-2009.07.8)] 2009 IEEE Symposium on Computers and Communications - Deploying agile photonic networks over reconfigurable optical networks

Paredes, Sofia A., Bochmann, Gregor v., Hall, Trevor J.

Year:

2009

Language:

english

File:

PDF, 5.43 MB

english, 2009

5

A Model-Based Approach for Crawling Rich Internet Applications

Dincturk, Mustafa Emre, Jourdan, Guy-Vincent, Bochmann, Gregor V., Onut, Iosif Viorel

Journal:

ACM Transactions on the Web

Year:

2014

Language:

english

File:

PDF, 2.19 MB

english, 2014

6

Semantic evaluation from left to right

Bochmann, Gregor V.

Journal:

Communications of the ACM

Year:

1976

Language:

english

File:

PDF, 767 KB

english, 1976

7

[IEEE IEEE GLOBECOM 2007-2007 IEEE Global Telecommunications Conference - Washington, DC, USA (2007.11.26-2007.11.30)] IEEE GLOBECOM 2007-2007 IEEE Global Telecommunications Conference - Inter-Area Shared Segment Protection of MPLS Flows Over Agile All-Photonic Star Networks

He, Peng, Bochmann, Gregor V.

Year:

2007

Language:

english

File:

PDF, 700 KB

english, 2007

8

Specifications of a simplified transport protocol using different formal description techniques

Gregor V Bochmann

Journal:

Computer Networks and ISDN Systems

Year:

1990

Language:

english

File:

PDF, 2.41 MB

english, 1990

9

[IEEE 2008 Eighth International Conference on Peer-to-Peer Computing (P2P) - Aachen, Germany (2008.09.8-2008.09.11)] 2008 Eighth International Conference on Peer-to-Peer Computing - CliqueStream: An Efficient and Fault-Resilient Live Streaming Network on a Clustered Peer-to-Peer Overlay

Asaduzzaman, Shah, Qiao, Ying, Bochmann, Gregor

Year:

2008

Language:

english

File:

PDF, 316 KB

english, 2008

10

[IEEE IEEE Globecom 2006 - San Francisco, CA, USA (2006.11.27-2006.12.1)] IEEE Globecom 2006 - NETp1-15: Blocking Model for All-Optical Overlaid-Star TDM Networks

Zheng, Jun, Peng, Cheng, Bochmann, Gregor v.

Year:

2006

Language:

english

File:

PDF, 274 KB

english, 2006

11

Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers

El-Fakih, Khaled, Bochmann, Gregor von

Journal:

IEEE Transactions on Software Engineering

Year:

2018

Language:

english

File:

PDF, 1.67 MB

english, 2018

12

A Sampler of Formal Definitions

Marcotty, Michael, Ledgard, Henry, Bochmann, Gregor V.

Journal:

ACM Computing Surveys

Year:

1976

Language:

english

File:

PDF, 4.35 MB

english, 1976

13

Distributed synchronization and regularity

Gregor V Bochmann

Journal:

Computer Networks (1976)

Year:

1976

Language:

english

File:

PDF, 629 KB

english, 1976

14

A computation method for scenario studies in WDM network planning

Hu Li, Bo, Yiming Zhang, James, Wu, Jing, v. Bochmann, Gregor, Savoie, Michel

Journal:

COMPEL Int J for Computation and Maths in Electrical and Electronic Eng

Year:

2009

Language:

english

File:

PDF, 175 KB

english, 2009

15

Some notes on the history of protocol engineering

Gregor v. Bochmann, Dave Rayner, Colin H. West

Journal:

Computer Networks

Year:

2010

Language:

english

File:

PDF, 281 KB

english, 2010

16

A quality of service negotiation approach with future reservations (NAFUR): a detailed study

Abdelhakim Hafid, Gregor von Bochmann, Rachida Dssouli

Journal:

Computer Networks and ISDN Systems

Year:

1998

Language:

english

File:

PDF, 805 KB

english, 1998

17

[IEEE 2018 APWG Symposium on Electronic Crime Research (eCrime) - San Diego, CA, USA (2018.5.15-2018.5.17)] 2018 APWG Symposium on Electronic Crime Research (eCrime) - Using URL shorteners to compare phishing and malware attacks

Le Page, Sophie, Jourdan, Guy-Vincent, Bochmann, Gregor V., Flood, Jason, Onut, Iosif-Viorel

Year:

2018

Language:

english

File:

PDF, 516 KB

english, 2018

18

Corrigendum: “A Sampler of Formal Definitions”

Marcotty, Michael, and Gregor V. Bochmann, Henry Ledgard

Journal:

ACM Computing Surveys

Year:

1977

Language:

english

File:

PDF, 239 KB

english, 1977

19

Finite state description of communication protocols

Gregor V. Bochmann

Journal:

Computer Networks (1976)

Year:

1976

Language:

english

File:

PDF, 887 KB

english, 1976

20

[ACM Press the fifth symposium - Snowbird, Utah, United States (1977.09.27-1977.09.29)] Proceedings of the fifth symposium on Data communications - SIGCOMM '77 - Operating system design with computer network communication protocols

PROBST, Wilfried G., BOCHMANN, Gregor V.

Year:

1977

Language:

english

File:

PDF, 763 KB

english, 1977

21

Forte '95

Gregor v. Bochmann, Rachida Dssouli, Omar Rafiq

Journal:

Computer Networks and ISDN Systems

Year:

1997

Language:

english

File:

PDF, 442 KB

english, 1997

22

Deriving protocol specifications from service specifications written as Predicate/Transition-nets

Hirozumi Yamaguchi, Khaled El-Fakih, Gregor v. Bochmann, Teruo Higashino

Journal:

Computer Networks

Year:

2007

Language:

english

File:

PDF, 1.37 MB

english, 2007

23

[ACM Press the 26th International Conference - Perth, Australia (2017.04.03-2017.04.07)] Proceedings of the 26th International Conference on World Wide Web - WWW '17 - Tracking Phishing Attacks Over Time

Cui, Qian, Jourdan, Guy-Vincent, Bochmann, Gregor V., Couturier, Russell, Onut, Iosif-Viorel

Year:

2017

Language:

english

File:

PDF, 2.65 MB

english, 2017

24

Customer-managed end-to-end lightpath provisioning

Jing Wu, Michel Savoie, Scott Campbell, Hanxi Zhang, Gregor v. Bochmann, Bill St. Arnaud

Journal:

International Journal of Network Management

Year:

2005

Language:

english

File:

PDF, 294 KB

english, 2005

25

Petri net-based protocol synthesis with minimum communication costs

Khaled El-Fakih, Hirozumi Yamaguchi, Gregor v. Bochmann, Teruo Higashino

Journal:

Journal of the Franklin Institute

Year:

2006

Language:

english

File:

PDF, 333 KB

english, 2006

26

Load balancing in peer-to-peer systems using a diffusive approach

Ying Qiao, Gregor v. Bochmann

Journal:

Year:

2012

Language:

english

File:

PDF, 909 KB

english, 2012

27

[IEEE 2013 Eighth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC) - COMPIEGNE, France (2013.10.28-2013.10.30)] 2013 Eighth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing - Dist-RIA Crawler: A Distributed Crawler for Rich Internet Applications

Mirtaheri, Seyed M., Zou, Di, Bochmann, Gregor V., Jourdan, Guy-Vincent, Onut, Iosif Viorel

Year:

2013

Language:

english

File:

PDF, 373 KB

english, 2013

28

[IEEE 2013 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW) - Cambridge, MA, USA (2013.05.20-2013.05.24)] 2013 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum - Distributed Query Processing in an Ad-hoc Semantic Web Data Sharing System

Zhou, Jing, Bochmann, Gregor V., Shi, Zhongzhi

Year:

2013

Language:

english

File:

PDF, 263 KB

english, 2013

29

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - Some Modeling Challenges When Testing Rich Internet Applications for Security

Benjamin, Kamara, Bochmann, Gregor v., Jourdan, Guy-Vincent, Onut, Iosif-Viorel

Year:

2010

Language:

english

File:

PDF, 285 KB

english, 2010

30

Testing in context: framework and test derivation

Alexandre Petrenko, Nina Yevtushenko, Gregor v. Bochmann, Rachida Dssouli

Journal:

Computer Communications

Year:

1996

Language:

english

File:

PDF, 1.77 MB

english, 1996

31

SPIE Proceedings [SPIE Asia-Pacific Optical Communications - Wuhan, China (Thursday 1 November 2007)] Network Architectures, Management, and Applications V - Design of an agile all-photonic network

Bochmann, Gregor V., Wang, Jianli, Chang, Gee-Kung, Itaya, Yoshio, Zech, Herwig

Year:

2007

Language:

english

File:

PDF, 1.21 MB

english, 2007

32

[IEEE 2006 IEEE Sarnoff Symposium - Princeton, NJ (2006.03.27-2006.03.28)] 2006 IEEE Sarnoff Symposium - Load Balancing in All-Optical Overlaid-Star TDM Networks

Zheng, Jun, Peng, Cheng, Bochmann, Gregor v., Hall, Trevor J.

Year:

2006

Language:

english

File:

PDF, 1.11 MB

english, 2006

33

[IEEE 2009 15th International Conference on Parallel and Distributed Systems - Shenzhen, China (2009.12.8-2009.12.11)] 2009 15th International Conference on Parallel and Distributed Systems - A Diffusive Load Balancing Scheme for Clustered Peer-to-Peer Systems

Qiao, Ying, Bochmann, Gregor v.

Year:

2009

Language:

english

File:

PDF, 264 KB

english, 2009

34

On the realizability of collaborative services

Castejón, Humberto Nicolás, Bochmann, Gregor, Bræk, Rolv

Journal:

Software & Systems Modeling

Year:

2013

Language:

english

File:

PDF, 629 KB

english, 2013

35

[IEEE 2007 IFIP International Conference on Wireless and Optical Communications Networks - Singapore (2007.07.2-2007.07.4)] 2007 IFIP International Conference on Wireless and Optical Communications Networks - Least Constrained Slot Allocation in Optical TDM Networks

Zeineddine, Hassan, Bochmann, Gregor V.

Year:

2007

Language:

english

File:

PDF, 1.89 MB

english, 2007

36

Progressive solutions to a parallel automata equation

Khaled El-Fakih, Nina Yevtushenko, Sergey Buffalov, Gregor v. Bochmann

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 373 KB

english, 2006

37

Deriving protocol specifications from service specifications written in LOTOS

Christian Kant, Teruo Higashino, Gregor von Bochmann

Journal:

Distributed Computing

Year:

1996

Language:

english

File:

PDF, 524 KB

english, 1996

38

Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets

Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino

Journal:

Distributed Computing

Year:

2003

Language:

english

File:

PDF, 295 KB

english, 2003

39

Standards issues in data communications

Gregor V. Bochmann

Journal:

Telecommunications Policy

Year:

1977

Language:

english

File:

PDF, 849 KB

english, 1977

40

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - Solving Some Modeling Challenges when Testing Rich Internet Applications for Security

Choudhary, Suryakant, Dincturk, Mustafa Emre, Bochmann, Gregor V., Jourdan, Guy-Vincent, Onut, Iosif Viorel, Ionescu, Paul

Year:

2012

Language:

english

File:

PDF, 226 KB

english, 2012

41

[ACM Press the symposium - Austin, Texas (1983.03.08-1983.03.09)] Proceedings of the symposium on Communications Architectures & Protocols - COMM '83 - Synchronization issues in protocol testing

Sarikaya, Behcet, Bochmann, Gregor v.

Year:

1983

Language:

english

File:

PDF, 450 KB

english, 1983

42

An automatic trace analysis tool generator for Estelle specifications

Ezust, S. Alan, v. Bochmann, Gregor

Journal:

ACM SIGCOMM Computer Communication Review

Year:

1995

Language:

english

File:

PDF, 1.09 MB

english, 1995

43

Some principles for quality of service management

Bochmann, Gregor v, Hafid, Abdelhakim

Journal:

Distributed Systems Engineering

Year:

1997

Language:

english

File:

PDF, 195 KB

english, 1997

44

An Approach to Quality of Service Management in Distributed Multimedia Application: Design and an Implementation

Abdelhakim Hafid, Gregor v. Bochmann

Journal:

Multimedia Tools and Applications

Year:

1999

Language:

english

File:

PDF, 370 KB

english, 1999

45

[IEEE 2008 Next Generation internet Networks (NGI) - 4th Euro-NGI Conference on Next Generation Internet Networks - Krakow, Poland (2008.04.28-2008.04.30)] 2008 Next Generation Internet Networks - OSN-IX: A Novel Internet eXchange (IX) Architecture based on Overlaid-Star Networks

He, Peng, v. Bochmann, Gregor

Year:

2008

Language:

english

File:

PDF, 665 KB

english, 2008

46

Notes on the X.25 procedures for virtual call establishment and clearing

Bochmann, Gregor V.

Journal:

ACM SIGCOMM Computer Communication Review

Year:

1977

Language:

english

File:

PDF, 333 KB

english, 1977

47

Recovering user-interactions of Rich Internet Applications through replaying of HTTP traces

Hooshmand, Salman, Bochmann, Gregor V., Jourdan, Guy-Vincent, Couturier, Russell, Onut, Iosif-Viorel

Journal:

Journal of Internet Services and Applications

Year:

2018

Language:

english

File:

PDF, 3.30 MB

english, 2018

48

High-level design for user and component interfaces

Gregor v. Bochmann

Journal:

Knowledge-Based Systems

Year:

2004

Language:

english

File:

PDF, 174 KB

english, 2004

49

A formal method for synthesizing optimized protocol converters and its application to mobile data networks

Zhongping Tao, Gregor v. Bochmann, Rachida Dssouli

Journal:

Mobile Networks and Applications

Year:

1997

Language:

english

File:

PDF, 593 KB

english, 1997

50

Quality-of-service adaptation in distributed multimedia applications

Abdelhakim Hafid, Gregor v. Bochmann

Journal:

Multimedia Systems

Year:

1998

Language:

english

File:

PDF, 358 KB

english, 1998

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски